Modeling and Verification of ARINC 653 Hierarchical Preemptive Scheduling
نویسندگان
چکیده
منابع مشابه
Verification support for ARINC-653-based avionics software
Software model checking consists in applying the most powerful results in formal verification research to programming languages such as C. One general technique to implement this approach is producing a reduced model of the software in order to employ existing and efficient tools, such as SPIN. This paper focusses on the application of this approach to the avionics software constructed on top o...
متن کاملIntroduction to ARINC-653 Component Model
Any component model suitable for hard-real time systems, (1) must be able to specify and monitor real time properties. CCM does not support specification for task periodicity and deadline. A hard real-time component model, must allow certain component tasks to be defined as periodic. Moreover, all tasks executed by a component must specify deadlines. In addition, these deadlines must be monitor...
متن کاملConfiguration Tool for ARINC 653 Operating Systems
ARINC 653 Specification defines a standardized interface of real-time operating systems and an Application Executive (APEX) to develop the reliable applications for avionics based on Integrated Modular Avionics (IMA). The requirements of system platform based on ARINC 653 Standard are defined as configuration data and are integrated to the XML configuration file(s) in the real-time operating sy...
متن کاملSoftware Model Checking of ARINC-653 Flight Code with MCP
The ARINC-653 standard defines a common interface for Integrated Modular Avionics (IMA) code. In particular, ARINC-653 Part 1 specifies a processand partition-management API that is analogous to POSIX threads, but with certain extensions and restrictions intended to support the implementation of high reliability flight code. MCP is a software model checker, developed at NASAAmes, that provides ...
متن کاملData-centric distribution technology in Arinc-653 systems
Standard distribution middleware has recently emerged as a potential solution to interconnect distributed systems in the avionics domain, as it would bring important benefits throughout the software development process. A remaining challenge, however, is reducing the complexity associated with current distribution standards which leads to prohibitive certification costs. To overcome this comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The International Arab Journal of Information Technology
سال: 2019
ISSN: 2309-4524,1683-3198
DOI: 10.34028/iajit/17/1/12